$\forall$${\it es}$:ES, $e$:E. ($\uparrow$isrcv($e$)) $\Rightarrow$ (destination(lnk($e$)) = loc($e$) $\in$ Id)